| 翻訳と辞書 |
Hardy field
In mathematics, a Hardy field is a field consisting of germs of real-valued functions at infinity that is closed under differentiation. They are named after the English mathematician G. H. Hardy.
==Definition==
Initially at least, Hardy fields were defined in terms of germs of real functions at infinity. Specifically we consider a collection ''H'' of functions that are defined for all large real numbers, that is functions ''f'' that map (''u'',∞) to the real numbers R, where ''u'' is some real number depending on ''f''. Here and in the rest of the article we say a function has a property "eventually" if it has the property for all sufficiently large ''x'', so for example we say a function ''f'' in ''H'' is ''eventually zero'' if there is some real number ''U'' such that ''f''(''x'') = 0 for all ''x'' ≥ ''U''. We can form an equivalence relation on ''H'' by saying ''f'' is equivalent to ''g'' if and only if ''f'' − ''g'' is eventually zero. The equivalence classes of this relation are called germs at infinity.
If ''H'' forms a field under the usual addition and multiplication of functions then so will ''H'' modulo this equivalence relation under the induced addition and multiplication operations. Moreover, if every function in ''H'' is eventually differentiable and the derivative of any function in ''H'' is also in ''H'' then ''H'' modulo the above equivalence relation is called a Hardy field.
Elements of a Hardy field are thus equivalence classes and should be denoted, say, ()∞ to denote the class of functions that are eventually equal to the representative function ''f''. However, in practice the elements are normally just denoted by the representatives themselves, so instead of ()∞ one would just write ''f''.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Hardy field」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|